foo(int n, unsigned char c)
{
    n ^= c;
    n |= 0x80bf;
    n &= 0x80bf;
}